Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
271	A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e. Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Mathematics Local consistency Constraint satisfaction Constraint optimization Mathematical optimization Static single assignment form FO Variable Parameterized complexity Constraint programming Software engineering Theoretical computer science
272	Constraint Programming Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:07:15 Computing Local consistency Backtracking Search algorithm Linear programming Constraint satisfaction Hidden transformation Constraint programming Software engineering Computer programming
273	Mode Directed Path Finding Irene M. Ong1 , Inˆes de Castro Dutra2 , David Page1, V´ıtor Santos Costa2 1 2 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-07-20 15:45:54 Game artificial intelligence Constraint programming Network theory Shortest path problem Static single assignment form Hypergraph Pathfinding NP-complete problems Decomposition method Theoretical computer science Mathematics Graph theory
274	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
275	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
276	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Elementary mathematics Constraint programming Type theory Environment variable Function Differential of a function Constraint satisfaction problem Mathematics Algebra Variables
277	The Cost of Flattening with Common Subexpression Elimination Andrea Rendl, Ian Miguel and Ian P. Gent School of Computer Science, University of St Andrews, UK {andrea, ianm, ipg}@cs.st-andrews.ac.uk Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:37 B-tree Common subexpression elimination Computer programming Software engineering Computing Constraint programming Constraint satisfaction Flatten
278	COMPSCI 276 Homework Assignment 4 Fall 2014 Instructor: Rina Dechter Due:Wednesday, November 5th Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2014-10-31 16:15:19 Statistical models Bayesian network Networks Ordered graph Mathematical sciences Mathematics Bayesian statistics Constraint programming Graphical models
279	Weighted Constraint Satisfaction Problems with Min-Max Quantifiers∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T., Hong Kong {jlee,wk Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:44 Computing Local consistency Constraint optimization Constraint satisfaction problem Constraint satisfaction Backtracking Branch and bound Pruning Decomposition method Constraint programming Software engineering Computer programming
280	Recent Advances in Solving Combinatorial Optimization Tasks over Graphical Models Rina Dechter, In this talk I will present state of the art algorithms for solving combinatorial optimization tasks defined over graphica Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-29 16:16:29 Mathematics Operations research Mathematical optimization Combinatorial optimization Algorithm Search algorithm Local search Local consistency Applied mathematics Theoretical computer science Constraint programming

UPDATE